Error: Choose at most one: input file, --interactive, or --interaction-json.

Run 'agda --help' for help on command line options.
